s := proc(n) i := n; s := 1; while i do s := s * i;  i := i-1 od; return := s end (5)
